s1=<>
s1=<>
s2=<abc>
s2=<abc>
s3=<abcde>
s3=<abcde>
s1=<abc>
s1=<abc>
s1=<abcdef>
s1=<abcdef>
s1=<abcbcdef>
s1=<abcbcdef>
s1=<bcdcbcdef>
s1=<bcdcbcdef>
s1=<aabcde>
s1=<aabcde>
s1=<aabcjxx>
s1=<aabcjxx>
s1=<aaxx>
s1=<aaxx>
s1=<accde>
s1=<accde>
s1=<aabcdec>
s1=<aabcdec>
s1=<axyzlc>
s1=<axyzlc>
s1=<axyzc>
s1=<axyzc>
s1=<ajj>
s1=<ajj>
